15 research outputs found
Cycle type in Hall-Paige: A proof of the Friedlander-Gordon-Tannenbaum conjecture
An orthomorphism of a finite group is a bijection
such that is also a bijection. In 1981, Friedlander,
Gordon, and Tannenbaum conjectured that when is abelian, for any
dividing , there exists an orthomorphism of fixing the identity and
permuting the remaining elements as products of disjoint -cycles. We prove
this conjecture for all sufficiently large groups.Comment: 34 page
Unavoidable patterns in locally balanced colourings
Which patterns must a two-colouring of contain if each vertex has at
least red and blue neighbours? In this paper,
we investigate this question and its multicolour variant. For instance, we show
that any such graph contains a -blow-up of an \textit{alternating 4-cycle}
with .Comment: Improved expositio
A random Hall-Paige conjecture
A complete mapping of a group is a bijection such
that is also bijective. Hall and Paige conjectured in 1955
that a finite group has a complete mapping whenever is
the identity in the abelianization of . This was confirmed in 2009 by
Wilcox, Evans, and Bray with a proof using the classification of finite simple
groups. In this paper, we give a combinatorial proof of a far-reaching
generalisation of the Hall-Paige conjecture for large groups. We show that for
random-like and equal-sized subsets of a group , there exists a
bijection such that is a bijection from
to whenever in the
abelianization of . Using this result, we settle the following conjectures
for sufficiently large groups. (1) We confirm in a strong form a conjecture of
Snevily by characterising large subsquares of multiplication tables of finite
groups that admit transversals. Previously, this characterisation was known
only for abelian groups of odd order. (2) We characterise the abelian groups
that can be partitioned into zero-sum sets of specific sizes, solving a problem
of Tannenbaum, and confirming a conjecture of Cichacz. (3) We characterise
harmonious groups, that is, groups with an ordering in which the product of
each consecutive pair of elements is distinct, solving a problem of Evans. (4)
We characterise the groups with which any path can be assigned a cordial
labelling. In the case of abelian groups, this confirms a conjecture of Patrias
and Pechenik
Transversal factors and spanning trees
Given a collection of graphs with the same
vertex set, an -edge graph is a transversal if
there is a bijection such that for
each . We give asymptotically-tight minimum degree conditions for a
graph collection on an -vertex set to have a transversal which is a copy of
a graph , when is an -vertex graph which is an -factor or a tree
with maximum degree .Comment: 21 page
Optimal spread for spanning subgraphs of Dirac hypergraphs
Let and be hypergraphs on vertices, and suppose has large
enough minimum degree to necessarily contain a copy of as a subgraph. We
give a general method to randomly embed into with good "spread". More
precisely, for a wide class of , we find a randomised embedding with the following property: for every , for any partial
embedding of vertices of into , the probability that
extends is at most . This is a common generalisation of several
streams of research surrounding the classical Dirac-type problem. For example,
setting , we obtain an asymptotically tight lower bound on the number of
embeddings of into . This recovers and extends recent results of Glock,
Gould, Joos, K\"uhn, and Osthus and of Montgomery and Pavez-Sign\'e regarding
enumerating Hamilton cycles in Dirac hypergraphs. Moreover, using the recent
developments surrounding the Kahn--Kalai conjecture, this result implies that
many Dirac-type results hold robustly, meaning still embeds into after
a random sparsification of its edge set. This allows us to recover a recent
result of Kang, Kelly, K\"uhn, Osthus, and Pfenninger and of Pham, Sah,
Sawhney, and Simkin for perfect matchings, and obtain novel results for
Hamilton cycles and factors in Dirac hypergraphs. Notably, our randomised
embedding algorithm is self-contained and does not require Szemer\'edi's
regularity lemma or iterative absorption.Comment: 26 page
Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets
We study multigraphs whose edge-sets are the union of three perfect
matchings, , , and . Given such a graph and any
with , we show there exists a
matching of with for each . The bound
in the theorem is best possible in general. We conjecture however that if
is bipartite, the same result holds with replaced by . We give a
construction that shows such a result would be tight. We also make a conjecture
generalising the Ryser-Brualdi-Stein conjecture with colour multiplicities